module Module

((): a -> b -> c)
